flask/policy: add missing manage_domain rules
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Tue, 10 Jan 2012 16:04:26 +0000 (16:04 +0000)
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>
Tue, 10 Jan 2012 16:04:26 +0000 (16:04 +0000)
commitfa1d65c22f5260d80fcdeace70146645ffb6a29f
tree15d57ccd5fb1816df1003c1613a65c0a684e82bf
parented6ec8137c3f75310eb7e86be49a36fc41bc7772
flask/policy: add missing manage_domain rules

The updated example policy did not include rules to allow managing the
created domains (pause, unpause, destroy); allow these actions.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Ian Jackson <ian.jackson.citrix.com>
tools/flask/policy/policy/modules/xen/xen.if
tools/flask/policy/policy/modules/xen/xen.te